中学ではよく知られた定理。問題ないかと。