Do you remember what the theorem was?