Area theorem