theorem :: XPRIMES2:90

canceled;