gauss-bodenmiller theorem