theorem :: XPRIMES0:67

canceled;