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