Luego aplicando el TFTC resulta "x" = "s"/2; en tal caso "s"-"x" = s/2.