Michael in polish. Kapelan pp. 整數 定義. Mkbf.