結果 : simplify assume a is greater than or equal to zero 18a4