5
$\begingroup$

Given the following definition:

definition for /delta

How to proof these two equations?

How to proof this?

and

enter image description here

PS:

Actually, there are two proofs preceding the two(I have no problem with the following two), they are: enter image description here

Maybe they are hints on solving the latter two.

I encounter this problem here(section 2.1 about page 8~page 9)

2 Answers 2