Weierstrass gap theorem