I hardly think these two children have reached puberty.
Although I hate citing Wikipedia as a definitive source on anything, their numbers seem to be near other sources I'm seeing on this :
Although there is a wide range of normal ages, on average, girls begin the process of puberty about 1-2 years earlier than boys (with average ages of 9 to 14 for girls and 10 to 17 for boys), and reach completion in a shorter time.[1] Girls attain adult height and reproductive maturity about 4 years after the first physical changes of puberty appear. In contrast, boys accelerate more slowly but continue to grow for about 6 years after the first visible pubertal changes.
Puberty - Wikipedia, the free encyclopedia
How many 9 and 10 year olds have been married with the full blessings of 'muslim scholars'?
Disgusting.