A criterion for a degree-one holomorphic map to be a biholomorphism. Issue 7 (3rd July 2017)