Sejam verdadeiras as seguintes afirmações:

• Lucas é filho de Mariana.

• Helena é irmã de Mariana, filha dos mesmos pais.

• Pedro é pai de Carla.

• Carla é filha de Helena e Pedro.

• João é pai da Helena.

A conclusão necessariamente verdadeira a partir dessas afirmações é: