The discovery of the empty tomb presupposes that there was a tomb in the first place, and that it was known, and of course that it was discovered.