theorem :: XPRIMES2:6380

canceled;