Gravar-mail: PROOF OF FERMAT'S LAST THEOREM FOR ALL PRIME EXPONENTS LESS THAN 4002