This question is inspired from a earlier post on this forum.
Prove that if
x.y = -1 mod 24
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.