Again, you are starting with the conclusion when you write . Starting with the conclusion is circular. When you arrive back at the same conclusion, it is based on the fact that you assumed it to start with.

You were correct to assume and . So begin with the equalities you have from those assumptions.

Start with one of them: By cancellation, . The only integers whose product is 1 are or . So, or .