初等的な証明なんて、素数定理の初等整数論的な証明にこだわるくらい不毛なこと