for p being natural prime 2 _greater number
for a, b being integer number st a gcd p = 1 & b gcd p = 1 & a,b are_congruent_mod p holds
Leg (a,p) = Leg (b,p)