theorem :: XPRIMES2:2792

canceled;