theorem :: XPRIMES2:266

canceled;