Added test for EuclidFormula