Sabendo?se que vale a implicação A?B -> C, então também vale a implicação