>>696は
((2+3)/2)+1=3.5
で良くね
自然数で無い事は素数でない事の十分条件じゃん