Existence of a unique solution

Since , is a fixed point of

is the unique solution for the equation set

and is equal to

**Proof:**We can write the equation set as

Since

According to Theorem , exists. Thus, a solution exists.

By the same theorem,

We have shown that the solution is the discounted return value of policy