sin(a-b) proof (1)