theorem :: XPRIMES2:556

canceled;