Meeting of the Theorems: Theorem-atik 0

Today's meeting of the Theorems was brought to you by the Phantom of the Missing Schedule, who somehow managed to conjure up a rough outline of the discussion:

Next meeting: Meeting Theoreme 2: The Phantom of the Missing Schedule