theorem :: XPRIMES2:1540

canceled;