>>842
841が言いたいのは
「定義から自明」
ではないのか