theorem Th18: :: NOMIN_3:18

for D being non empty set
for f being BinominativeFunction of D
for p being PartialPredicate of D holds <*(PP_False D),f,p*> is SFHT of D