>>34
> そこで、とりあえず「これは証明可能なことなのか?」と聞いてみる。

学内で四方義啓さん (名城大総合数理教育センター長) に、お聴きになれば証明可能であることが判るでしょう。