theorem :: XPRIMES2:624

canceled;