theorem :: XPRIMES2:1554

canceled;