定理を引き合いに出すなら、ステートメントが違うが本質的に同じ内容だとみなされているものは、無数に挙げられる。