RE: isoperimetric theorem