>>40
しかもその雑な式変形に全て証明という枷が加わるべきなのでは無いかと(ry