renamed LeadingCoefficientOfPoincarePolynomial

to MultiplicityOfConormalToTheOrigin
declared and installed attribute LeadingCoefficientOfPoincarePolynomial

and used it in MultiplicityOfConormalToTheOrigin