A가 임의의 정사각행렬, W가 유니터리 행렬, P가 positive semidefinite, A=WP라 하자.

A가 가역적이면 P는 positive definite가 된다는데 왜 그럼?