theorem :: XPRIMES2:100

canceled;