To show that ZPP is contained in RP intersect co-RP, suppose we have a Las Vegas algorithm C to solve a problem.
Để chứng minh ZPP nằm trong giao của RP và co-RP, giả sử ta có một thuật toán Las Vegas C giải quyết được một bài toán trong ZPP.