Let * be the binary operation on N defined by a * b = HCF of a and b. Does there exist identity for this binary operation on N?