adan>

Theorem.

Arguments:

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

Assertions:

(()(()))

Proof:

Hyp	Ref	Line	Expr
	siman<	1	(())
1	syl>	2	(()(()))