Thus, d succeeds on every sequence in RANDc (but, since d is constructive, it succeeds on no sequence in RAND).
よってdはRANDcのどの列でも成功する（が、dは構成可能なので、RANDのどの列でも成功しない）。