theorem :: NUMBER05:12

canceled;