Prova:

{ ( 0 = 1 ) } [skip, skip] { ( 1 = 2 ) } { ( 0 = 1 ) } [skip] { ( 0 = 1 ) } { ( 0 = 1 ) } [skip] { ( 1 = 2 ) } { ( 0 = 1 ) } [skip] { ( 0 = 1 ) } ( ( 0 = 1 ) => ( 1 = 2 ) )

Sentenças a serem provadas:

( ( 0 = 1 ) => ( 1 = 2 ) )