Indirect proof method in logic/philosophy?

[oompapamowmow69]

I need to prove this by using the indirect proof method and avoiding universal generalization.

1. (existential quantifier) (Px) horseshoe Qc/ (x) (Px horseshoe Qc)

Any help is some help. thanks!