直交行列 P に対して P + P^T は正則といえますか?