Bogomolov–Miyaoka–Yau_inequality loading ...