theorem :: XPRIMES2:384

canceled;