set X = { p where p is Ideal of R : ( p is quasi-prime & p <> [#] R & E c= p ) } ;
thus ( not R is degenerated implies { p where p is Ideal of R : ( p is quasi-prime & p <> [#] R & E c= p ) } is Subset of (Spectrum R) ) :: thesis:

let x be object ; :: according to TARSKI:def 3 :: thesis:
assume x in { p where p is Ideal of R : ( p is quasi-prime & p <> [#] R & E c= p ) } ; :: thesis:
then consider p being Ideal of R such that
A3: x = p and
A4: p is quasi-prime and
A5: p <> [#] R and
E c= p ;
p in { p where p is Ideal of R : ( p is quasi-prime & p <> [#] R ) } by A4, A5;
hence x in Spectrum R by A3, A1, Def3; :: thesis:

end;

end;