critical line theorem