SSC, theorem, Uncategorized