Este teorema ("véase Figura 1") puede expresarse matemáticamente —"para cada uno de sus dos catetos"— como: