Prouver par A + B (v.)