The proof of correctness of RSA is simple math, but that's not the same as building https://tools.ietf.org/html/rfc2437