throwaway210426·3 tháng trước·discussIt was silly at the time but even sillier now (eg see other comment on Erdos 1196)