How do you multiply #(5 + 3sqrt7) (-4+5rsqrt7) #?