"How to prove it: a structured approach" - читать интересную книгу автора (Daniel J. Velleman)