x
Theorem — LessWrong