theorem :: XPRIMES2:2545

canceled;