Как стул невесты связан с доказательством теорем?