program-tiles-support-proof