let-prove