发送短信: ON THE EXISTENCE OF FLAT PLANES IN SPACES OF NONPOSITIVE CURVATURE