Solution to 3.

1. a->b /.:(c->a)->(c->b)
2. |->c->a acp
3. |__c->b 2,1 hs
4. (c->a)->(c->b) 2-3 cp