ANF / K-normal form
Next, we rearrange the terms and split out the expressions that appear to form two independent integers: (vh - vg) and (h - g). We label these a and b:
。关于这个话题，91视频提供了深入分析
FT Edit: Access on iOS and web
prop += proplen + 1;
���f�B�A�ꗗ | ����SNS | �L���ē� | ���₢���킹 | �v���C�o�V�[�|���V�[ | RSS | �^�c���� | �̗p���� | ������