Now it's just a little bit of algebra. Cosine of pi over four, we already know, is square root of two over two. Sine of pi over four is also square root of two over two. And let's see, what if we divide both sides of this equation by square root of two over two? Well, what's that going to give us? Well, then, square root of two over two divided by square root of two over, square root of two over two divided by square root of two over two is gonna be one. Square root of two over two divided by square root of two over two is gonna be one.