theorem :: XPRIMES2:5267

canceled;