>>112

(与式) = (2^126 + 6)*32/(7*32) = (2^126 + 6)/7 = {(2^21)^6 + 6}/7,
は自然数。