>>94
−(-1)=1
は自明じゃないんじゃね?