theorem :: XPRIMES2:1102

canceled;