永遠についての証明