AFM.AQR.7.4: Prove statements about graph properties.