a( y - 4) - b ( y - 4 )

x( b + 2 ) - y ( b + 2 )

es sobre factor común por agrupación de de términos. con argumentación por fa​