4.4.1.11

NOTE:
I'm confusing the meaning of "nontrivial".
My understanding might be wrong.