Laborator 5 - Demonstrarea teoremelor utilizand rezolutia