https://9dok.net/document/zkwojmxp-satz-von-picard-lindel-of-satz.html