Dokaz - Asimov, Isaac (Sirius : biblioteka znanstvene fantastike ;, 1983)