P∧Q→Pだから?