theorem :: XPRIMES2:7725

canceled;