4.4.2 problem 63

when .

when which is always true.