cos ((3 * PI) / 4) = cos ((PI / 2) + (PI / 4))
.= - ((sqrt 2) / 2) by Th7, SIN_COS:79 ;
hence cos ((3 * PI) / 4) = - ((sqrt 2) / 2) ; :: thesis: verum