How do you prove #sin ((5pi)/4)#?