theorem :: XPRIMES2:5680

canceled;