I5P4a := (i, j, k, l, m) -> P(i,j)*P(k,l,m)-P(l,m)*P(i,j,k);