n=2025=452n=2025=45^2n=2025=452 とする。主張は、マティルダが少なくとも n+2n−3n+2\sqrt n-3n+2n−3 枚のタイルを必要とし、かつこの枚数で十分であるというものである;n=2025n=2025n=2025、n=45\sqrt n=45n=45 を代入すると 2025+90−3=21122025+90-3=21122025+90−3=2112 となる。