theorem :: XPRIMES2:9792

canceled;