prove code