Grumulum's Theorem view 3