(a b c . d) →(b c . d) →(c . d) →X
(a b c . d)= (a . (b . (c . d)))→(b . (c . d))→(c . d)→d
∴X=d