(r)triviallywith little effort“we can prove trivially that this theorem is false”