K가 유한군G의 sylow p-subgroup이다. 만약에 x가 N(K)에 포함되고 x의 order가 power of p일 때 x가 K에 포함됨을 보여라.