1.8.1 Klassikaline tõestamine