proof techniques 4886778