theorem :: XPRIMES2:6308

canceled;