Good point, proofs that require brute force enumeration of all possibilities are not nice, but the physicists who use the results to describe some symmetries st

Good point, proofs that require brute force enumeration of all possibilities are not nice, but the physicists who use the results to describe some symmetries still think the results are beautiful.