Now we can construct \(P\ \) from our eigenvectors