theorem :: XPRIMES2:2743

canceled;