松本教授の笑いの証明