theorem :: XPRIMES2:4527

canceled;