Wenn p aus q folgt, so ist q & p = q.