We use Theorem 3:

So