theorem :: XPRIMES2:2700

canceled;