theorem :: XPRIMES2:2506

canceled;