Use the rule , and repeat it three times to get But so your expression becomes But for all real a. So,