Which procedure justifies whether Negative 3 x (5 minus 4) + 3 (x minus 6) is equivalent to Negative 12 x minus 6?