Faktorisierungslemma