だから「プログラム的に証明」なんて言い方間違ってるし間抜けなんだよ
あきらめろよ