B-K (proof)

craaziifox