theorem :: NUMBER11:359
Sierp36 874,19