public static void AddOne(uint[] x, uint[] z)
{
Nat224.Copy(x, z);
uint c = Nat224.Inc(z, 0);
if (c != 0 || (z[6] == P6 && Nat224.Gte(z, P)))
{
Nat224.AddDWord(PInv, z, 0);
}
}