theorem :: XPRIMES2:2655

canceled;