Tag: H.C.F by factorization