theorem :: XPRIMES2:3072

canceled;