This wiki should be removed since the invariants that I found proved to be wrong.