Razonando análogamente, "FDC" es también un triángulo rectángulo isósceles, con catetos "DF" = "DC" = "m" − "n", y con hipotenusa "FC" = "n" − ("m" − "n") = 2"n" − "m", que son números también enteros y menores a "n" y "m" respectivamente.