theorem :: XPRIMES2:8947

canceled;