theorem :: XPRIMES2:7827

canceled;