Even half of complexity proof