I think I solved it. For those who are interested:

Since

Particularly:

Taking integration of both sides:

By taking all constants to the right side we get:

We also know that:

So pluging in into eq(1) we get:

therefore:

But this means:

So is orthogonal to .[As was to be shown]