This question is inspired from a earlier post on this forum.

Prove that if

x.y = -1 mod 24

Then, prove

x = -y mod 24.

Is there a smart way to do this? All I could do was enlist the distinct values for x,y and prove the above for each such pair.

Thanks