一見複雑そうに見えるルービックキューブとて、
高々有限ってのは非力だね。
力仕事で証明できないものなんてないってことだ。