ax=b has a unique solution proof