Diagram untuk bukti diferensial