Se "asume" que "P"("k") es verdadera (para un valor no específico de "k").