Relational_Divisibility.Mono_Atomic