ABC=23(A+B+C)
BCA=42(A+B+C)
CAB=46(A+B+C)
sistemlerinden,
77A−13B−22C=0
−41A+58B−32C=0
−36A−45B+54C=0
lineer denklem sistemi alınıyor. Bekleneceği üzere bu sistemin determinantı sıfırdır. Bir α parametresine göre (A,B,C) üçlüleri,
A=188437α,B=374437α,C=α şeklinde bulunuyor.
Bu üçlünün tamsayı çözümü mevcut değil. Fakat z=7 için A=3.01 ve B=5.99 bulunuyor. Yaklaşık 367 ediyor :D