F(tr xs, ftihre man ein aquivalentes System Grëfsen x; ~9 von der Beschaffenheit ein, dafs
von der verlangten reducirten Art ist.