Mihova, V.; Ninova, J. DIRECT AND INDIRECT METHODS OF PROOF. THE LEHMUS-STEINER THEOREM. Ann. Sofia Univ. Fac. Math. and Inf. 2016, 103, 105-121.