Klassikaline tõestamine