Unexpectedness and inevitability, two of the aesthetic qualities G.H. Hardy identified as being properties of beautiful proofs, together seem paradoxical: how can something be seen as both unexpected and inevitable? This essay argues that the literary concept of \emph{deus ex machina} can be used to clarify the notion of inevitability in proof and reconcile it with unexpectedness.