theorem :: XPRIMES2:6100

canceled;