theorem :: XPRIMES2:7396

canceled;