72
analogous conclusions hold of course for arbitrary pairs of non-commuting operators