theorem :: XPRIMES2:380

canceled;