Для дальнейших преобразований вычислительному ядру

Для дальнейших преобразований вычислительному ядру Maple следует сообщить, что не может быть отрицательным (процедура assume! ))