  In the paper different kinds of proof of a given statement are discussed.
Detailed descriptions of direct and indirect methods of proof are given.
Logical models illustrate the essence of specific types of indirect proofs.
  Direct proofs of Lehmus-Steiner's Theorem are proposed.
