theorem :: XPRIMES2:2608

canceled;