Gram's law and the argument of the Riemann zeta function

Some new statements concerning the behavior of the argument of the Riemann zeta function at the Gram points are proved. We apply these statements to prove Selberg’s formulas connected with Gram’s Law.