theorem :: NUMBER11:728

Sierp36 3980,20