sin (a b) proof