3차원 변환에서 점 P(x, y, z, 1)을 Z축을 기준으로 임의의 각도마큼 회전한 경우 변환행렬 T는? (단, 반시계 방향으로 회전한 각이 양(+)의 각이고, 변환된 점 P^* = P · T 이다.)