Refer to the `heap ≡ heap'' theorem by number