>>24
面倒くさいから自分で計算して逆証明しろ