2012 exam B7 updated to a nicer proof.