Stav dette: The Aizerman and Kalman conjectures using symmetry