Cohn-Vossen's inequality (source code)

= Cohn-Vossen's inequality
{wiki=Cohn-Vossen's_inequality}