1976年のチャイティンの論文では、ある自然数"b"に対して