>>530
論理的に可能な限り最も一般的、抽象的な記述等ではないが、特定の命題、予想をある対象から導き証明するために必要最低限または必要かつ十分なだけ一般的、抽象的な記述等は、
その最も一般的、抽象的な記述等と比較してより具体的な一般的、抽象的な例といえる場合、その程度具体的な一般的、抽象的な例は存在し、かつ直接記述等され得る例であるのか。