comlete proofs 1-st iter for all linear conj