KIm Proof