theorem :: XPRIMES2:671

canceled;