From here, using AMGM it is clear that the condition is . Because our steps are reversible, it is clear it is sufficient.
Mula dito, ang paggamit AMGM ito ay malinaw na ang kalagayan ay . Dahil ang aming mga hakbang ay baligtarin, ito ay malinaw na ito ay sapat.