IU理論の主定理って何だい? 表に出てきたためしがないんだが