I was asked to show that the divisibility relation is reflexive, but NOT symmetric.

Here is what I did...Let me know if it seems acceptable.

Reflexive:

Assume a|a, for all a e Z. This implies that a = ac, for some c e Z. Abviously if c = 1, this is true. Thus, it is reflexive.

Symmetric:

Assume if a|b, then b|a. I don't know what to do now...

REMEMBER: Don't get | confused with \. | = Divides and \ = Divided by