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