theorem :: XPRIMES2:26

canceled;