Definition:Length of Normal Series