Category:Examples of Use of Boolean Prime Ideal Theorem