В рамках текущей задачи, применяя этот подход, можно заявлять об одновременной истинности утверждений "все пятёрки студентов не нашли всех интегралов" и "все пятёрки студентов нашли все интегралы". А они взаимоисключающие
Если однозначно говорить об истинности или ложности какого-то утверждения невозможно, то в рамках математики такой разговор бессмысленен
Если интеграл один, и его хоть кто-то решил
Если 5-ка пустое множеств ( студентов меньше 5) и все интегралы решены, то они будут решены и для 4-ки студентов, что пртиворечит условию.
type NonNull<T> = {[K in keyof T]: T[K] extends infer V ? V extends null ? never : V : never};
тот же результат