Rigorous results on valence-bond ground states in antiferromagnets | Synapse