theorem :: XPRIMES2:6204

canceled;