1.2 Implikasjon, 1.3 Ekvivalens Sigma R1