See proof in lecture notes.
Insert(7)
min
-----7------
Insert(8)
min
----8---7----
Insert(3)
min
----3----8---7--
Insert(2)
min
----2---3---8---7--
Insert(15)
min
--15----2---3---8---7--
ExtractMin
min
------3------
/|
7 8
|
15
Insert(10)
min
--10--3------
/|
7 8
|
15
Delete(15)
min
--10--3------
/|
7* 8
* = marked node
ExtractMin
min
-----10-----7-----
|
8