ring
x y z : ℝ
hx : x > 0
hy : y > 0
hz : z > 0
h : x * y * z ≥ 1
⊢ (x ^ 5 - x ^ 2) * (x ^ 3 * (x ^ 2 + y ^ 2 + z ^ 2)) - (x ^ 5 + y ^ 2 + z ^ 2) * (x ^ 5 - x ^ 2) =
    (x ^ 3 - 1) ^ 2 * x ^ 2 * (y ^ 2 + z ^ 2)
no goals