«У нас имеется новая теорема, согласно которой математики способны доказывать только тривиальные теоремы, поскольку каждая теорема, будучи доказанной, – тривиальна».