การตรวจสอบนี้จะใช้เวลาอนุพันธ์ขั้นตอนโดยขั้นตอนที่แสดงคำอธิบายในสีฟ้าและเน้นสีแดงในส่วนของการแสดงออกที่มีการเปลี่ยนแปลงตั้งแต่ขั้นตอนก่อนหน้า มันเป็นเรื่องที่โหลดไว้กับกฎพื้นฐานของความแตกต่างรวมทั้งกฎคงกฎผลรวมกฎผลิตภัณฑ์กฎหารกฎลูกโซ่และกฎการใช้พลังงาน...