theorem :: XPRIMES2:49

canceled;