Quantifier-free induction schema and the least element principle door L.D. Beklemishev