This article is a Propositional Exposition. It is licensed under the Creative Commons Attribution-ShareAlike license.