theorem :: ALGSTR_3:3

1 = 1. TernaryFieldEx ;