[(5 supra 7)⁸]¹⁰: (5 supra 7) ⁷⁸=​