och alltså är diskonton 1 | a Ijj proc.