（ab＋a＋b＋1）（ab＋ac＋bc＋c^2）＝（a＋1）（b＋1）（a＋c）（b＋c）.
（a＋1）×（b＋1）×（a＋c）×（b＋c）≥2√a×2√b×2√ac×2√bc＝16abc,
（ab＋a＋b＋1）（ab＋ac＋bc＋c^2）≥16abc.