Bland mångå antagna satser omCholcranS