以形解数.