構成論理でしかない帰納法は逃げ
背理法をプログラミングできてこそ真の数学プログラマ