Cohn-Vossen's_inequality loading ...