Mieczysław Mentzen — Polish mathematician