theorem :: NUMBER11:220

Sierp36 448,16