Wenn p aus q folgt so ist q ∙ p = q.