theorem :: XPRIMES2:5204

canceled;