>>887
そんなことはない
IUTT4や5人論文でやられている計算の反例が見つかればいいだけ