#include <math.h>
main()
{
int m,i,k;
scanf("%d",&m);
k=sqrt(m);
for(i=2;i<=k;i++)
if(m%i==0) break;
if(i>k) printf("%d is a prime muber\n",m);
else printf("%d is a not prime mumber\n",m)；
}
在第7行的循环里i<=k,
但在第9行的选择语句的条件里i>k.
我想了很久都想不出，这是为什么，请大家帮我解释一下。

k=sqrt(m);k是一个确定的数，在循环里i<=k;如果循环结束，除非i++,否则i>k,做为第二个条件是怎么来的？