A zero-one law for RP and derandomization of AM if NP is not small
scientific article