What combination is illustrated by «إِبْرَاهِيمُ»?

Definiteness and Proper-Name Status in Diptote Rules

• Proper name + foreign origin
• Waṣf + ʿadl
• Al- + proper name
• Indeclinability + particle