Kronecker's congruence

GPTKB entity