電卓の答を信頼するのは、
平行線の公理を信頼するのと
変わらんね。