theorem LMStat1: :: AESCIP_1:18

AES-Statearray is one-to-one