Not just anoether theorem. Everything follows from symmetry, except asymmetry or maybe even that too.