example inversion lemma. server ok. done