Question 156Let $x$ and $y$ be positive real numbers with $x^3 + y^3 = x - y$. Prove that $x^2 + 4y^2 \lt 1$. (posed by Xiong Bin)