同一律的公式是（）。