theorem :: XPRIMES2:1578

canceled;