theorem :: XPRIMES2:5307

canceled;