First version of the existence uniqueness proof