次の日本語には間違っている部分があります。その部分を直して、正しい日本語の文を出力してください。
複素解析では、ド・ブランジェの定理（ｄｅ　Ｂｒａｎｇｅｓ’ｓ　ｔｈｅｏｒｅｍ）、あるいはビーバーバッハの予想（Ｂｉｅｂｅｒｂａｃｈ　ｃｏｎｊｅｃｔｕｒｅ）と呼ばれる定理は、開いた単位円盤から複素平面への単射的な写像を与えるための、正則函数の必要条件を与える定理である。
複素解析では、ド・ブランジェの定理（ｄｅ　Ｂｒａｎｇｅｓ’ｓ　ｔｈｅｏｒｅｍ）、あるいはビーバーバッハの予想（Ｂｉｅｂｅｒｂａｃｈ　ｃｏｎｊｅｃｔｕｒｅ）と呼ばれる定理は、開いた単位円板から複素平面への単射的な写像を与えるための、正則函数の必要条件を与える定理である。