>>442
ですから、定理なんですか?