Is there a formal proof for the first assertion? I lack the geometrical background to get this argument at first glance.