絶対にループしない証明ってできるんかい?
数学者が頭悩ませそうなレベルの話では