Weierstrass–Casorati theorem