theorem :: XPRIMES2:5700

canceled;