2. b :
3.
k:
, g,h:({a..b
}
).
3. is_prime_factorization(a; b; g)
3.
3. is_prime_factorization(a; b; h)
3.
3.
{a..b}(g) = k {a..b}(g) = {a..b}(h) g = h
4. g : {a..b
}
5. h : {a..b
}
6. is_prime_factorization(a; b; g)
7. is_prime_factorization(a; b; h)
8.
{a..b}(g) = {a..b}(h)
g = h
