'D2F
0>A~B:
A=0}G0:
A>A: 1>B: aA:
A>1}G1:
A>B: 1:
L1:
Bf(AöB)>C:
aCó0-5}G2:
B: C>B: G1:
L2:
F0:
B1: o: A>C:
AöB: o: A>A: A+C0-4aAöA:
F4:
L0: