so up to associates, each should appear twice in the left side of the equation. it cannot appear once in and once in because then they will have a common factor, so each factor in is squared, meaning where beta is a unit. I'm not sure how to show that beta is also a square. maybe there is a special property of that I'm forgetting.