# x / 2 = (3x) / 4 + 5 #
양쪽에 #color (빨강) 4 #.
#implies color (red) 4 (x / 2) = color (red) 4 ((3x) / 4 + 5) #
#implies color (빨강) 4 (x / 2) = color (빨강) 4 * (3x) / 4 + color (빨강) 4 * 5 #
#implies 2x = 3x + 20 #
덜다 #color (보라색) (2x) # 양쪽에서.
#implies 2x-color (purple) (2x) = 3x + 20-color (purple) (2x) #
#implies 0 = x + 20 #
덜다 #color (파란색) 20 # 양쪽에서.
#implies 0 색 (파란색) 20 = x + 20 색 (파란색) 20 #
#implies -20 = x #
#implies x = -20 #
