By FLT, Benschop definitely means Fermat's Last Theorem; see his paper here: < http://pc2.iam.fmph.uniba.sk/amuc/_vol74n2.html > ("Additive structure . . ."). --Dan _____________________________________________________________________ "It don't mean a thing if it ain't got that certain je ne sais quoi." --Peter Schickele