Skip to main content
8 events
when toggle format what by license comment
Jul 23, 2023 at 22:29 history edited Nautilus CC BY-SA 4.0
deleted 49 characters in body
Jul 23, 2023 at 22:27 comment added Nautilus Yup, I had a different idea in mind initially, so later deleted some stuff, but forgot to remove all those parts.
Jul 23, 2023 at 22:23 comment added 2012rcampion I think the first two steps are are not needed since your proof is not by contradiction and you don't use the fact that the remainders not all different.
Jul 23, 2023 at 19:16 history edited Nautilus CC BY-SA 4.0
added 25 characters in body
Jul 23, 2023 at 15:37 history edited Nautilus CC BY-SA 4.0
deleted 116 characters in body
Jul 23, 2023 at 12:44 history undeleted Nautilus
Jul 23, 2023 at 12:43 history deleted Nautilus via Vote
Jul 23, 2023 at 11:29 history answered Nautilus CC BY-SA 4.0