यदि `**` समुच्चय `N cup {0} ` जहाँ N प्राकृत संख्याओं का समुच्चय है, इस प्रकार परिभाषित है कि `a**b = a^b `, जहाँ `a, b in N cup {0} ` तो दिखाइए कि समुच्चय `N cup {0}` पर द्विआधारी संक्रिया नहीं है।