Алиса и Боб
Both Alice and Bob have arrived at the same values because under mod p,