theorem :: XPRIMES2:67

canceled;