An Algebraic Proof of the Paull–Unger Theorem | IEEE Journals & Magazine | IEEE Xplore