Fuglede B. Conditions for two self-adjoint operators to commute or to satisfy the Weyl relation. Math. Scand. 1982;51:163-178. doi:10.7146/math.scand.a-11971