G. Chobanov and I. Chobanov, “Newtonian and Eulerian dynamical axioms. VI. Inductio per enumerationem simplicem”, Ann. Sofia Univ. Fac. Math. and Inf., vol. 86, no. 2, pp. 99–122, Dec. 1994.