theorem :: XPRIMES2:746

canceled;