Gauge Group Structure Theorem, Direct Product Theorem, and the Three-Generation Proposition | Synapse