exp-pre

Theorem.

Arguments:

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

Assertions:

((())(()))

Proof:

Hyp	Ref	Line	Expr
	pm3.2im	1	((()))
1	syl>	2	(((())()))
2	com12i	3	((())(()))