Koopman Operator Is Unitary