On the induction svhema for decidable predicates by L.D. Beklemishev