Verifikation der algebraischen Unabhängigkeit algebraischer Zahlen