theorem :: XPRIMES2:117

canceled;