Any sufficiently advanced technology is indistinguishable from magic.
The greatest theorems often arise from questioning the obvious.