I need to prove that for any intial state vector, all subsequent state vectors' entries sum to 1. Not really sure where to start. Any help?