Linear pair proof example

14 years ago