theorem :: XPRIMES2:6266

canceled;