theorem Th84: :: NUMBER17:84

Fermat 5 = 641 * 6700417 by Lm11, Lm6, Lm12, Lm4;