theorem :: SCMFSA8C:94

for a being Int-Location
for I being MacroInstruction of SCM+FSA holds card (Times (a,I)) = (card I) + 7