Én azt látom, hogy a megoldásokban ezt a fenti nézőpontot mindenki csak kerülgeti, mint a macska a forró kását, és aztán belebonyolódik a spirálokba, differenciákba, stb.
Nem tudom, de (a kezdeti értetlenkedésem után) számomra mmormota 1013-asa a legegyszerűbb bizonyítás (vagy az 1016-beli átfogalmazásom), szerintem azok még a tiédnél is egyszerűbbek.