let is_one v = equal one v