この定理を実用的に解説すると、あるプログラミング言語と正の整数 "m" と "n" があるとき、"m"+"n" 個の自由変数を持つプログラムのソースコードを操作する特定のアルゴリズムがあることを示している。