theorem :: XPRIMES2:2204

canceled;