A 4-dimensional light bulb theorem for properly embedded disks - 42Papers