theorem :: XPRIMES2:124

canceled;