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