1996
1.
15 ≤ σ·Σ δ≡τ