Quantum mechanics IV: Measurement theory, states of definite energy