raw/concept/kbhrice_s_theorem.md history