препод: - для доказательства нужно всего лишь проверить пять аксиом.
мы: - откуда пять, их же четыре!
препод: - как четыре, их же три.
мы: - а может, тогда ну его, это доказательство?.. мы и так вам верим