fix reference to a theorem that now lives in rich_listTheory