蟻と素数。