何故にこの定理限定なん?
初等幾何全般にすりゃいいのに