Tags: pentagon, density of solutions, HSA.APR.C, associative property, multiplication of fractions,