Explanation needed on a sequence proof

Printable View