Transformers as equivalent circuits for switches: general proofs and D-Q transformation-based analyses | Synapse