imp-pre

Theorem.

Arguments:

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

Assertions:

((())(()))

Proof:

Hyp	Ref	Line	Expr
	con	1	(()())
1	syl<	2	((())(()))
2	com23i	3	((())(()))
3	con<	4	((())(()))