q5 equiv proof