let n be Nat; :: thesis: ( not n divides 362 or n = 1 or n = 2 or n = 181 or n = 362 )
362 = 2 * 181 ;
hence ( not n divides 362 or n = 1 or n = 2 or n = 181 or n = 362 ) by Lem2, XPRIMES1:2, XPRIMES1:181; :: thesis: verum