Linear pair proof example

13 years ago