Quantum Lie Algebras, Their Existence, Uniqueness and q-Antisymmetry