theorem :: XPRIMES2:8750

canceled;