bi.bldsbd

Theorem.

Arguments:

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

Hypotheses:

(())

( bound in )

Assertions:

(([/][/]))

Proof:

Hyp	Ref	Line	Expr
	Hypo	1	(())
		2	( bound in )
1, 2	imgen>i	3	(())
	bi.bldsbt	4	(()([/][/]))
3, 4	syl	5	(([/][/]))