abai

Theorem.

Arguments:

(pr), (pr),

Assertions:

(()(()))

Proof:

Hyp	Ref	Line	Expr
	siman<	1	(())
	pm3.4	2	(()())
1, 2	jca	3	(()(()))
	siman<	4	((()))
	mpclosedan	5	((()))
4, 5	jca	6	((())())
3, 6	>bii	7	(()(()))