ϕ23(a,b,cd,e;q,deabc)=(e/b,e/c,cq/a,q/d;q)(e,cq/d,q/a,e/(bc);q)ϕ23(c,d/a,cq/ecq/a,bcq/e;q,bqd)-(q/d,eq/d,b,c,d/a,de/(bcq),bcq2/(de);q)(d/q,e,bq/d,cq/d,q/a,e/(bc),bcq/e;q)ϕ23(aq/d,bq/d,cq/dq2/d,eq/d;q,deabc),