theorem :: XPRIMES2:2554

canceled;