beifang chenによる、初等的で自己完結的な証明: