CHECK: Distributivgesetz I
KI