Xが「2m+1を因数に持つ」とは、あるYが存在して、Xが2m+1とYの積で表されることを言う。
なお、1の言によると、XやYが整数かどうかは問わないらしい。