変数aを明示的に非負であると条件を与える場合にはどうすればよいのでしょうか。
aを含む解でifがでるのを避けたいのですが。