def est_multiple(a,b): return pgm(b,a)==a