73
Pomocne twierdzenia 1
1. Wyrażenia typu
przekształ-
ca się na wyrażenia typu
lub
za pomocą tożsamości: