[math-fun] Penrose Tilings - Grunbaum-Shephard Theorem 10.6.1