It's a counterexample that invalidates Brian Smith's proof. His reasoning could apply just as easily apply to all integers as simply positive integers. However, the set of even integers is contained in this domain, but has no least element. Thus, the proof fails.
re(3): {P, r, o, o, f}
