>>608
そもRの計算が正しいのは自明じゃないから証明いるんじゃない?