How did you discover Sperner's Theorem for SPOONS?

  1. Is Sperner’s Theorem a common theorem?

  2. If it isn’t, how did you discover it after reading the question? what were the clues?