Mathlogの双子素数予想とSophie Germain素数の証明は誤りでしたので削除しました。