theorem :: XPRIMES2:973

canceled;