Surjective pairing strong normalization by Vryer