命題A
　Rが一意分解整域、f,g∈R[X]が原始多項式であり、a,b∈Rを用いて、af=bgと表される。
命題B
　a=bεを満たすRの単元εが存在する。

命題A,Bの関係は以下のどれか？
1.A⇒B
2.B⇒A
3.A⇔B
4.どれでもない。