Full threadphilote·I skimmed it, but couldn't find what the "doodle theorem" is. It's only mentioned in the title.View on HN