let n be Nat; :: thesis: ( not n divides 485 or n = 1 or n = 5 or n = 97 or n = 485 )
485 = 5 * 97 ;
hence ( not n divides 485 or n = 1 or n = 5 or n = 97 or n = 485 ) by Lem2, XPRIMES1:5, XPRIMES1:97; :: thesis: verum