Loewner's_torus_inequality