theorem LMStat3: :: AESCIP_1:19

AES-Statearray is onto