take
PrefStr(# {{}},({} ({{}},{{}})) #)
; ( not PrefStr(# {{}},({} ({{}},{{}})) #) is empty & PrefStr(# {{}},({} ({{}},{{}})) #) is strict )
thus
( not PrefStr(# {{}},({} ({{}},{{}})) #) is empty & PrefStr(# {{}},({} ({{}},{{}})) #) is strict )
; verum