Solution for Wand.Qwand.himpl_qwand_hstar_same_r
Click on the 'Next' button to reveal the proof step by step.