F6x: Proposition H8
F6x: Proposition H8
F6x: Proposition H8
F6x: Proposition H8
F6x: Proposition H8
F6x: Proposition H8
F6x: Proposition H8
F6x: Proposition H8
F6x: Proposition H8
F6x: Proposition H8
F6x: Proposition H8
F6x: Proposition H8