Seven-dimensional cross product