数学上什么叫不可通约?比如不可通约线段