しかし実際問題として19n+1版の反例というのはそんなに簡単には見つからないものなんですか?