theorem :: XPRIMES2:7292

canceled;