theorem :: XPRIMES2:6725

canceled;