theorem :: XPRIMES2:673

canceled;