begin{corollary-list}
  item Let x be real number. You can choose a real number y greater than x.
  item Let q be rational number. You can choose a rational number z greater than q.
end{corollary-list}