BF := (i, j, k, l, m) -> P(i,j)*P(k,l,m)+1/3*P(j,k)*P(i,l,m)+1/3*P(j,l)*P(i,k,
m)+1/3*P(j,m)*P(i,k,l)-2/3*P(k,l)*P(i,j,m)-2/3*P(k,m)*P(i,j,l)-2/3*P(l,m)*P(i,
j,k);