Isoperimetric theorem