So rDE(DDEC’) ? DDEF.

This means that (rDE ?P)(DABC) ? DDEF.

Since the composition of two isometries is an isometry, DABC ? DDEF.�

Previous slide

Next slide

Back to first slide

View graphic version