thus f - r is total ; :: thesis: