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