theorem :: XPRIMES2:547

canceled;