theorem :: XPRIMES2:5292

canceled;