関係あるじゃん
研究で使う道具だてを全部厳密に証明チェックしてるわけじゃないんだから