theorem :: XPRIMES2:2072

canceled;