theorem SuperLemma1: :: FINANCE3:12

for A1 being SetSequence of {1,2,3,4}
for w being Real st ( w = 1 or w = 3 ) & ( for n being Nat holds
( A1 . n = {} or A1 . n = {1,2} or A1 . n = {3,4} or A1 . n = {1,2,3,4} ) ) holds
{w} <> Intersection A1