theorem zero_gain_preserves_structure
theorem zero_gain_preserves_structure: ∀ (state : Int), structuralUpdate state 0 = state
theorem zero_gain_preserves_structure
theorem zero_gain_preserves_structure: ∀ (state : Int), structuralUpdate state 0 = state