Azt kellene bizonyítani, hogy a négyzetek oldalhossza éppen a bogarak sebességével csökken (ami első ránézésre triviális).

Rosenkrantz bizonyítása tökéletes (precízen formalizálható) és az én 1017-esem is az (ez utóbbi előnye, hogy a pályát pontosan leírja). Tehát csak annyit mondhatsz, hogy ezeknél van egyszerűbb (frappánsabb) bizonyítás.