Доказать равенсто методом денотационной семантики

Само равенство

if E then repeat C1 while E else e fi; while E do C2 od =

while E do C1; while E do C1 od od; if E then C2 else e fi