[Celestia] Handle when don't exist proof

[sandhilt]

Treatment when the proof doesn't yet exist and the program searches the entire past unnecessarily.