αm сандарының арасында бірдейлері жоқ. Егер бір айырым модулі немесе абсолют шамасы бойынша айырымынынан кіші болса, онда басқасы айырымына қарағанда үлкен болуы керек. Сонымен, αm
сандарының барлығы өзара әртүрлі болғандықтан, абсолют шамасы, не модулі бойынша ең кіші айырымы нөлден үлкен болады (m ≠ S). Оның өлшемін 2d арқылы белгілесек, yk шексіз өсетіндіктен, кез – келген жеткілікті yk үшін келесі теңсіздік орынды:
айырымынынан кіші болса, онда басқасы 
айырымына қарағанда үлкен болуы керек. Сонымен, αm
айырымы нөлден үлкен болады (m ≠ S). Оның өлшемін 2d арқылы белгілесек, yk шексіз өсетіндіктен, кез – келген жеткілікті yk үшін келесі теңсіздік орынды: