2003って小学生までの知識で素数って証明できる?