How does the base pairing prove Chargaff's rules?