theorem :: XPRIMES2:2746

canceled;