Some useful facts about divisibility and modulo arithmetic