Behauptung: Genau einer der Steine A, B, D, 3, L, S steuert weniger Eck-Würfel als möglich bei.

Beweis: Wie wissen: T steuert 2 Eckwürfel bei, also bleiben 6 Eck-Würfel. Dafür gibt es 7 Angebote: A, B, D, 3, S können je einen Würfel beisteuern, L sogar zwei.

Man sagt: Eine Lösung hat den Typ X (= A, B, D, 3, S, L),
wenn X weniger Eck-Würfel als möglich beisteuert.

Behauptung: Es gibt alle Typen!