Wenn es heißt (∃xyzuv) … so heißt ein Spezialfall davon immer a b c d e & der steht in einer internen Beziehung zu jedem Fall || allgemeinen Ausdruck welcher a b oder a b c als Spezialfall hat.