work on proof of first invariant