some commentaries are added; some misprints are fixed