If then we have so, from a previous remark, we have necessarily, . We check that in that case, and .
Kung pagkatapos kami ay may sa gayon, mula sa isang naunang pangungusap, mayroon kaming mga kinakailangan, . Check namin na sa na kaso, at .