-x^2-y^2-z^2 Maciek: czy −x²−y²−z² jest zawsze ujemne?

Basia: nie; może być =0 dla x=y=z=0 −x²−y²−z² ≤ 0 (zawsze)

Vizer: dla x ∊ ℛ owszem.

Maciek: no tak! o tej możliwośći też napisalem więc powinno być 96 %

Vizer: No tak chodziło mi o niedodatniość, jeśli jest takie słowo

Basia: jest, choć możliwe, że Bralczyk warczałby troszkę na pewno można powiedzieć, że −x²−y²−z² jest niedodatnie dla każdych x,y,z∊ℛ