Modus Disamis/Ableitbarkeit/Aufgabe

Es seien ${}A,B,C$ einstellige Relationssymbole. Erstelle eine Ableitung im Prädikatenkalkül für den Modus Disamis, also die Aussage

(\exists x(Ax\wedge Bx)\wedge \forall x(Ax\rightarrow Cx))\rightarrow \exists x(Cx\wedge Bx).