 This situation is similar to that arising in other theories of principle where, as noted in  Section 2.4,  one often finds that, next to an empirical principle, the formalism also provides a corresponding theorem. And similarly, this situation should not, by itself, cast doubt on the question whether Heisenberg’s relation can be regarded as a principle of quantum mechanics.