The lowest-degree part of $aX^m+bY^m+XY(cX^m+dY^m)$ is $aX^m+bY^m$, and $at^m+b$ is separable

Initializing...

The lowest-degree part of $aX^m+bY^m+XY(cX^m+dY^m)$ is $aX^m+bY^m$, and $at^m+b$ is separable · Prove2Me