「Sの元は全て素数」「a,b∈S→ab+4∈S」の両方を満たす集合は空集合のみな事を示せ