Está correto o raciocínio abaixo?
"Compila e roda. Na declaração Conta cc = new ContaCorrente(); estou dizendo para o compilador armazenar a referência de um objeto ContaCorrente em uma variável do tipo Conta. Mas ContaCorrente É UMA Conta. Porém, se eu declarar uma chamada de método de ContaCorrente, o qual não existe em Conta, ocorrerá um erro de compilação, pois Conta não é uma ContaCorrente. O mesmo vale para ContaPoupanca."