theorem :: MOD_4:27

canceled;