The axiomatic system
Q5 If the ray HD⟶ is inside the angle RHK∢ and the ray BF⟶ is inside the angle ∢EBS and it is RHD≅∢EBF∢ and RHK≅∢EBS∢, then
Choose *DHK=*FBS *EBS=*RHD *RHK=*EBF *FBS=*RHK *DHK=*EBS