Q1 Matemática  (Austrian-Polish 1983)

Os números reais não negativos $a,b,x,y$ satisfazem $a^5+b^5\le$1 e $x^5+y^5\le 1$. Prove que $a^2{x}^3+b^2{y}^3\le 1$.