そうしてみると、ある巨大な整数（紙の上には書けるくらい）が、
「素数か否か」
を判定するプログラムってかなり難しいと考えていいですかね？