What difference would it make for Christianity (and for us personally) if Christ had not risen from the dead?