Sorry for being tardy. I have expanded the proof, although there is one detail that needs further attention. I would like to make a reference but could not find one. So there is a need for a page on the properties of the gcd, lcm and congruencies. Lately, I've been into something else and this I have to finish first. I'll post here when everything is done.