対称性推論