Nontrivial is the opposite of trivial. In contexts where trivial has a formal meaning, nontrivial is its antonym.
It is a term common among communities of engineers and mathematicians, to indicate a statement or theorem that is not obvious or easy to prove.
Read more about Nontrivial: Examples