>>109
都合の良い計算かどうかは、これからOCNが証明してくれるんじゃないか?www