【量子力学】 同時固有状態と交換可能性の証明