This can be proven several times.