En termins informals, iste eixemplo nos premite afirmar que si conoixemos que una cierta propiedat  se cumple ta qualsiquier  y que si  tiene un obchecto particular en a nuestra estructura, alavez habríanos de poder afirmar .