TRF

: TRF
TRF {}

:
(A B)
1 A (
)
2 B ()()

3 A B
4

24
:

:
1::

2::
TRF
3:

:
TRF
: OBU
TRF TRF