ピカールの定理の数学的定式化と証明のアイデア