Зачем доказывать теорему, если она уже доказана?


    Зачем доказывать теорему, если она уже доказана?