**<math>a+b\leq a\cdot b</math>
*נניח בנוסף כי b אינסופית, ונקבל ביחד
**<math>b\leq a+b \leq a\cdot b\leq b\cdot b =b</math>(המעבר <math>b\cdot b=b</math> מוכח בסרטון השני).
*ולכן לפי משפט ק.ש.ב נקבל כי
**<math>a+b=a\cdot b = b</math>
*המעבר <math>b\cdot b=b</math> מוכח בסרטון השני.
<videoflash>Ty-lY6-uRPo</videoflash>
*תהי עוצמה אינסופית b אזי <videoflashmath>Ty-lY6-uRPob\cdot b=b</videoflashmath>
<videoflash>e6cBpbJzs2A</videoflash>