At any vertex of a flat-foldable crease pattern, the number of mountain and valley folds always differ by exactly 2.
Click on crease lines to toggle between Mountain (solid green) and Valley (dashed orange). The theorem is checked in real-time.