2.2.3 Rigorous derivation