Four vertex theorem