K.B. Fact of the Week #4

Matematiker definierar K.B.:s sats enligt följande:

S := {b band; b skotskt}
B := {b band; b bra}

S ⊂ B d.v.s. b ∈ B ∀ b ∈ S