fundamental theoremof genera