provar por a + b