B2.12.Ex1.4

This is the very problem we were trying . (avoid)
16Tem