024_bits: added the key property to be proved.