Considere que uma classe C1 implemente determinado método
M1 e tenha duas subclasses: C2 e C3. Nessa situação, o
comportamento de um objeto de C2 ou C3 que receba uma
mensagem invocando o método M1 será obrigatoriamente
idêntico ao comportamento de um objeto de C1 que receba a
mesma mensagem.