theorem :: XPRIMES2:612

canceled;