左：
1/28(p(a))(s((a^2-5ab+2ac+3bc-c^2)^2))+1/84(p(a))(s((-a^2+8ab-7ac-b^2-bc+2c^2)^2))
右：
1/520416750000s((833000a^3b-897854a^3c-1192261a^2b^2-499400a^2bc+1187596a^2c^2+359261ab^3+687565ab^2c-188165abc^2-289742ac^3-289742b^3c+258181b^2c^2+31561bc^3)^2)+1/3200612576000s(ab(7684544a^2b-11351883a^2c-6471691ab^2+919373abc+10371089ac^2-1212853b^3+9444333b^2c-8457330bc^2-925582c^3)^2)+1/34506056406567201750000s((132609322842a^3c-104620678197a^2b^2-285955262800a^2bc-152168522508a^2c^2+104620678197ab^3+88423167005ab^2c+197532095795abc^2+19559199666ac^3-116927850334b^3c+159420550037b^2c^2-42492699703bc^3)^2)+1/10109699150460055739936000s(ab(3158676319111a^2c-1210755295289ab^2-10201788145073abc+630296106619ac^2+1210755295289b^3-5496130369361b^2c+14414513219610bc^2-2505567130906c^3)^2)+1/2465589735563865219463919175s(ab(31223075573097ab^2-89245661814687abc+55073542971854ac^2-31223075573097b^3+123417780657520b^2c-90720183449555bc^2+1474521634868c^3)^2)+1/4555825528931664431810674913703000s((82485577768265571a^2b^2-126785592734492110a^2bc+10562184446993994a^2c^2-82485577768265571ab^3+54132464190045629ab^2c+72653128544446481abc^2-10562184446993994ac^3+48747747249033026b^3c-54862199413220533b^2c^2+6114452164187507bc^3)^2)+53496988857/296170755125s((-a^3b+a^2b^2+5a^2bc-a^2c^2-5abc^2+ac^3)^2)+5947227922307/31223075573097s(ab(3abc-5ac^2-b^2c+2bc^2+c^3)^2)+376731739640867/24429815854549126424609301375s((-2184083a^3b+13561591a^2b^2-6145847a^2bc-11377508ab^3+457093ab^2c+5688754abc^2+7872837b^3c-7872837b^2c^2)^2)
1/28(p(a))(s((a^2-5ab+2ac+3bc-c^2)^2))+1/84(p(a))(s((-a^2+8ab-7ac-b^2-bc+2c^2)^2))
右：
1/520416750000s((833000a^3b-897854a^3c-1192261a^2b^2-499400a^2bc+1187596a^2c^2+359261ab^3+687565ab^2c-188165abc^2-289742ac^3-289742b^3c+258181b^2c^2+31561bc^3)^2)+1/3200612576000s(ab(7684544a^2b-11351883a^2c-6471691ab^2+919373abc+10371089ac^2-1212853b^3+9444333b^2c-8457330bc^2-925582c^3)^2)+1/34506056406567201750000s((132609322842a^3c-104620678197a^2b^2-285955262800a^2bc-152168522508a^2c^2+104620678197ab^3+88423167005ab^2c+197532095795abc^2+19559199666ac^3-116927850334b^3c+159420550037b^2c^2-42492699703bc^3)^2)+1/10109699150460055739936000s(ab(3158676319111a^2c-1210755295289ab^2-10201788145073abc+630296106619ac^2+1210755295289b^3-5496130369361b^2c+14414513219610bc^2-2505567130906c^3)^2)+1/2465589735563865219463919175s(ab(31223075573097ab^2-89245661814687abc+55073542971854ac^2-31223075573097b^3+123417780657520b^2c-90720183449555bc^2+1474521634868c^3)^2)+1/4555825528931664431810674913703000s((82485577768265571a^2b^2-126785592734492110a^2bc+10562184446993994a^2c^2-82485577768265571ab^3+54132464190045629ab^2c+72653128544446481abc^2-10562184446993994ac^3+48747747249033026b^3c-54862199413220533b^2c^2+6114452164187507bc^3)^2)+53496988857/296170755125s((-a^3b+a^2b^2+5a^2bc-a^2c^2-5abc^2+ac^3)^2)+5947227922307/31223075573097s(ab(3abc-5ac^2-b^2c+2bc^2+c^3)^2)+376731739640867/24429815854549126424609301375s((-2184083a^3b+13561591a^2b^2-6145847a^2bc-11377508ab^3+457093ab^2c+5688754abc^2+7872837b^3c-7872837b^2c^2)^2)
——“星”对原变式之证明
