theorem :: XPRIMES2:578

canceled;