theorem :: XPRIMES2:94

canceled;