weierstrass substitution proof