Prove some simple facts related to key expansion.