Исходное сообщение Ефр
Это не сторона, это гурт.

Ок, чтобы не было проблем с определениями, дополню теорему:) Сколько бы сторон мы не насчитали у монеты, у нее всегда есть еще хотя бы одна не посчитанная еще сторона.