EuclideanDivision.prf 2.18 KB