Dado que se está asumiendo que el teorema es cierto para "P" y "T",