working on proof of variant implicit species theorem
fix up implicit species theorem II proof