Allquantor mit EXISTS

Ich möchte nicht spammen, aber gibt es niemanden, der mir da helfen kann? Ich komm einfach nicht drauf, wie ich das genannte Bsp mittels EXIST lösen kann. :frowning: