被已知的且<x的素数整除