定理の証明じゃね？でもあそこきちんとやるのは無理でしょ。