theorem :: AOFA_A00:12

canceled;