theorem :: XPRIMES2:504

canceled;