結果 : orthodox canonical form in c++