σ(s,σ(t,x))=σ(t+s,x)も成り立ちます