Solution for Rules.DivSpec.triple_div_from_triple_div'
Click on the 'Next' button to reveal the proof step by step.