p→q、q→pを示さなければならないのはわかります。a＞1かつb＞1が成り立つとき、pの2式を辺々に加えてなんでa+b＞2になるのかわかんないです。