exan-pre

Theorem.

Arguments:

(sv), (pr), (pr),

Hypotheses:

()

Assertions:

()

Proof:

Hyp	Ref	Line	Expr
	Hypo	1	()
	bv-∃b	2	( bound in )
2	alan>	3	(()())
	ancom	4	(()())
1, 4	bmp>	5	()
5	ax-gen	6	()
3, 6	bmp>	7	()
	alexan>	8	(()())
7, 8	ax-mp	9	()
	ancom	10	(()())
10	eqt-∃-i	11	(()())
9, 11	bmp>	12	()