Válasz:
#f (a) = 3a-2 #
Magyarázat:
Ha #f (szín (vörös) x) = 3color (piros) x-2 #
azután
#COLOR (fehér) (az "XXX") f (szín (kék) a) #
egyszerűen #f (szín (piros) x) # val vel #COLOR (piros) x # kicserélve #COLOR (kék) a #
#COLOR (fehér) ("XXX") f (megszünteti (szín (vörös) x) ^ színe (kék) a) = 3cancel (szín (vörös) x) ^ színe (kék) a-2 #
#COLOR (fehér) ("XXXXXXX") = 3color (kék) a-2 #
Konkrétabb példa esetén értékelheti #f (színes (magenta) 6) # azonos definíciója #f (szín (piros) x) #
#color (fehér) ("XXX") f (törlés (szín (piros) x) ^ szín (bíbor) 6) = 3 * törlés (szín (piros) x) ^ szín (bíbor) 6-2 #
#color (fehér) ("XXX") f (szín (bíbor) 6) = 3 * szín (magenta) 6-2 = 18-2 = 16 #
