theorem :: AOFA_A00:8

canceled;