theorem :: XPRIMES2:6210

canceled;