al.ordi

Theorem.

Arguments:

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

Assertions:

(()())

Proof:

Hyp	Ref	Line	Expr
	or<	1	(())
1	im.bldal	2	(())
	or>	3	(())
3	im.bldal	4	(())
2, 4	jaoi	5	(()())