Az ekvivalencia elv rövidítése.