Proof 1, that the angle bisector of angle <NboGNbi
and one of the axes of the Steiner circumellipse are identical:
*******************************
Proof 2, that the original triangle after the affine transformation
and the inner Napoleon triangle are homothetic: