theorem :: XPRIMES2:6284

canceled;