theorem :: XPRIMES1:2554

canceled;