Anta at er begrenset og at randen er kontinuerlig (i ), samt at . Da er hvis og bare hvis på .