https://9dok.net/document/q05jrodv-σ-holds-for.html