Multi_Party_Computation.Number_Theory_Aux