@FabricioOlivetti Duh. Tnx. My bad, somehow missed the divisibility part of the definition.