theorem :: XPRIMES2:8980

canceled;