16 outubro 2007, 16:55 • Vitor Manuel Paulino Vargas
Os respectivos enunciados encontram-se disponíveis em
http://web.ist.utl.pt/~ist10898/public/rc-I/OldProofs.htm