┌ 1 S 0 ┐ ┌ x ┐ ┌ x + S · y ┐ │ 0 1 0 │ · │ y │ = │ y │ └ 0 0 1 ┘ └ 1 ┘ └ 1 ┘