ミケルとタカダ

二つの定理を比べてみよう。