Corollary 1.2.6.
|Bool| = 2
No proof.