theorem :: XPRIMES2:7204

canceled;