Věta, důkaz a pozorování večera