Fixed bug in Hirasawa Theorem, checking isomorphism of lens spaces.