NF: can split tanner product in to sum of two terms (like zemor)