IUT理論で既に証明されている定理を
別に証明するよう本人に要求している?