I believe it. The tall female may not be a holly, or maybe some nearby neighbor does have a male.
The Wiki article mainly told me that there are a bazillion species. I'll try to get an ID on both ... if I recall, the leaves were rather different even though the tall babe was very scratchy.
The short one's leaves looked just like "European Holly" or classic Christmas Holly.