Input feed: Theorem of the week